home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / ai.prl / mike1.exe / MIKE.DOC < prev    next >
Encoding:
Text File  |  1990-09-17  |  5.8 KB  |  129 lines
  1. MIKE.DOC: Quick guide in 3 parts: How to run; how to install; summary of files
  2. LIABILITY DISCLAIMER & COPYRIGHT NOTICE: see end of file.
  3. ====================  H O W   T O   R U N   M I K E  ======================
  4. This example assumes you are using the knowledge base 'flu.kb', though
  5. of course any other will do in its place. Steps 5,6,8,9,10,11,12 are optional.
  6.          STEP                             WHAT TO DO
  7. 1. CREATE/EDIT KNOWLEDGE BASE    (use your own editor, or SIDEKICK, etc.)
  8. 2. INVOKE PROLOG                 C> prolog
  9. 3. LOAD MIKE                     ?- consult('mike.pl').
  10. 4. LOAD KNOWLEDGE BASE           ?- kb 'flu.kb'.
  11. 5. EXAMINE KNOWLEDGE BASE        ?- browse.        ?- show rules.
  12. 6. CHOOSE TRACING OPTIONS        ?- tracing.
  13. 7. INVOKE FORWARD CHAINING       ?- fc.
  14. 8. INSPECT WORKING MEMORY        ?- show wm.
  15. 9. STUDY EXECUTION HISTORY       ?- show history.
  16. 10.ASK FOR EXPLANATIONS          ?- how [bert,has,hay_fever].
  17. 11.RE-EDIT & SAVE KNOWLEDGE BASE ?- edit('flu.kb'). /* or use SIDEKICK, etc.*/
  18. 12.GOTO 4
  19. ==================  H O W   T O   I N S T A L L   M I K E  ================
  20. Hard disk and 3.5" floppy disk users: copy all files to a single directory,
  21. run everything from that directory.
  22.  
  23. Dual floppy (5.25") users:
  24.   1. copy *.exe, *.prm (except for mike_mod.prm) to drive B:
  25.   2. copy *.pl, *.kb, *.bat, *.sys, mike_mod.prm to drive A:
  26.   3. use drive A as your 'home' drive, but invoke Prolog from B, i.e.:
  27.        A> b:prolog
  28.        ?- consult('mike.pl').  /* will load everything correctly from A: */
  29.  
  30. For fine-grained details of how to run with your favourite editor, and
  31. miscellaneous additional startup and 'stop press' information, see the
  32. file READ.ME.
  33. ====================  S U M M A R Y   O F   F I L E S  ====================
  34.  
  35. NAME     EXT              COMMENT
  36. ---------------------------------------------------------------------------
  37. PROLOG   EXE   Public Domain Prolog-2 Interpreter (Expert Systems Ltd.)
  38. DEBUG    PRM   essential auto-loaded Prolog modules
  39. DEC10    PRM                  "
  40. EFILE    PRM                  "
  41. ERROR    PRM                  "
  42. GRULES   PRM                  "
  43. INT      PRM                  "
  44. PRETTY   PRM                  "
  45. SYSMESS  PRM                  "
  46. SYSTED   PRM                  "
  47. TOP      PRM                  "
  48. WINDOW   PRM                  "
  49.  
  50. MIKE_MOD PRM   Fast-loading MIKE module (available only with OU version)
  51.  
  52. MINIMIKE PL    'Toy MIKE' a la BYTE article (available only with BYTE version)
  53.  
  54. MIKE     PL    Master MIKE file; loads the others
  55. BROWSE   PL    'browse' and 'kb' definitions
  56. ENGINE1  PL    Main rule and frame engine of MIKE (part 1)
  57. ENGINE2  PL    Main rule and frame engine of MIKE (part 2)
  58. EXTRAS   PL    Miscellaneous Prolog extensions to MIKE
  59. FC_EXEC  PL    Top-level exec of forward-chainer
  60. FINDALL  PL    Own implementation of 'findall'
  61. IO       PL    Input/output, especially 'query'
  62. LOADOPS  PL    Operator declarations
  63. UTIL     PL    Miscellaneous utilities
  64. MIKE     INI   Automatically loaded last. This is for personal customizing.
  65.  
  66.                (KB = 'Knowledge Base')
  67. CARFWD   KB    'Deep diagnosis' of car fault, forward chaining
  68. CARBKWD  KB    'Deep diagnosis' of car fault, backward chaining
  69. DEDUCE   KB    Miscellaneous backward-chainer demos
  70. FLU      KB    Simple medical diagnosis, rules only
  71. FLU2     KB    As above, but uses 'ask_menu' facility
  72. FRAME    KB    Demonstrates fancy frame features
  73. KIVA     KB    Archaeology classification
  74. LIGHTS   KB    Diagnosing a faulty series circuit
  75. SALARY   KB    Shows how to use infix arithmetic operators in MIKE
  76. STRATEGY KB    Corporate strategy a la BYTE magazine article
  77. TOILET   KB    Flush toilet object-oriented simulation
  78. TRUCKS   KB    Paul Harmon 'pattern match' demo
  79.  
  80. READ     ME    More fine-grained startup details
  81. README   SUP   Info about supplier of Prolog-2
  82. EDIT     BAT   Example for using ?- edit(...).
  83. CONFIG   SYS   Crucial root directory file!!!!
  84. MIKE     DOC   This file.
  85.  
  86. {The group of files below appear only in the Open University version of MIKE}
  87. ANS*     PL    Answers & exercises from OU Knowledge Engineering study pack
  88. EX*      PL                   "
  89. CH*      PL                   "
  90.  
  91.  
  92.  ---------------------------------------------------------------------------
  93. =L I A B I L I T Y   D I S C L A I M E R  &  C O P Y R I G H T   N O T I C E=
  94.  ---------------------------------------------------------------------------
  95.                             *************
  96.                                M I K E
  97.                             *************
  98.                Micro Interpreter for Knowledge Engineering
  99.                   {written in Edinburgh-syntax Prolog}
  100.  
  101. MIKE: Copyright (c) 1989, 1990 The Open University (U.K.)
  102. Prolog-2: Copyright (c) 1990 Expert Systems Ltd. (U.K.)
  103.  
  104. MIKE is intended for educational purposes, and may not
  105. be sold as or incorporated in a commercial product without
  106. written permission from: The Copyrights Officer, Open University,
  107. Milton Keynes MK7 6AA, U.K.
  108.  
  109. The Open University accepts no responsibility for any legal or other
  110. consequences which may arise directly or indirectly as a result of the
  111. use of all or parts of the contents of this program.
  112.  
  113. This software accompanies Open University Study Pack PD624, 'KNOWLEDGE
  114. ENGINEERING'.  Complete sets of study pack materials may be obtained from:
  115.  
  116.                       Learning Materials Sales Office
  117.                       The Open University
  118.                       P.O. Box 188
  119.                       Milton Keynes MK7 6DH, U.K.
  120.  
  121.                       Tel: [+44] (908) 653338
  122.                       Fax: [+44] (908) 653744
  123.  
  124.  ---------------------------------------------------------------------------
  125.  
  126. This file (MIKE.DOC), including copyright notice and liability disclaimer,
  127. must be included with copies of MIKE software made by parties other than
  128. the Open University itself.
  129.